обоснованное отрицание — founded negation
отрицание отрицания — negation of negation
закон двойного отрицания — law of double negation
закон тройного отрицания — law of triple negation
подтверждённое отрицание — corroborated negation
Русско-английский большой базовый словарь. 2014.
Логическое отрицание — унарная логическая операция, определяемая таблицей истинности: : not 0 = 1 : not 1 = 0 Синонимы: Логическое не Синонимы английские: not См. также: Логические операции Финансовый словарь Финам … Финансовый словарь
логическое отрицание — loginis neigimas statusas T sritis automatika atitikmenys: angl. logic negation; logical inversion vok. logische Inversion, f; logische Negation, f rus. логическое отрицание, n pranc. inversion logique, m … Automatikos terminų žodynas
Логическое отрицание — Отрицание в логике унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ Как в классической, так и в интуиционистской логике «двойное отрицание» ¬¬A является … Википедия
Логическое высказывание — утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами. Высказывательной формой… … Википедия
Логическое выражение — в программировании конструкция языка программирования, результатом вычисления которой является «истина» или «ложь». Содержание 1 Операторы 2 Операции 3 Примеры … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Отрицание — У этого термина существуют и другие значения, см. Отрицание (значения). Отрицание в логике унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или… … Википедия
Отрицание — Отрицание элемент значения предложения, который указывает, что связь, устанавливаемая между компонентами предложения, по мнению говорящего, реально не существует (А. М. Пешковский) или что соответствующее утвердительное предложение отвергается… … Лингвистический энциклопедический словарь
Логическое "или" — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое ИЛИ — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
Логическое сложение — Дизъюнкция логическая операция, по своему применению максимально приближенная к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логическое «ИЛИ», включающее «ИЛИ», логическое сложение, иногда просто «ИЛИ». Это бинарная инфиксная … Википедия
